slam

Matthias Miltenberger twitter @mattmilten


fc modal bmbf zib










MODAL | SynLab

Optimierung - jeder tut es!

chaos

Verkehrsplanung

Verkehr

Gastransport

Gas

Logistik

Logistik

Robotersteuerung

Terminator

Robotersteuerung

Roboter

Kombinatorische Optimierung
Ja oder Nein? 0 oder 1?

\[ x \in \{0,1\} \]

1D

Kombinatorische Optimierung
Ja oder Nein? 0 oder 1?

\[ x,y \in \{0,1\}\\ %x + y \leq 1 \]

2D

Kombinatorische Optimierung
Ja oder Nein? 0 oder 1?

\[ x,y,z \in \{0,1\}\\ %x + y + z \leq 1 --> \]

3D

Kombinatorische Optimierung
Ja oder Nein? 0 oder 1?

\[ x,y,z,w \in \{0,1\}\\ %x + y + z + w \leq 1 \]

4D

Exponentielles Wachstum

exp

Exponentielles Wachstum

exp

Konflikt!

\[ x + y +z \leq 1 \]

conflict

Computer werden doch immer schneller!
Brauche ich da noch Mathematik?

Calvin

Komplizierte Algorithmen
für komplizierte Probleme

goldberg

scippy

Moderne Mathematik

scipoutput

TreeD - Bäume der Erkenntnis

Beispiel mit 89 Variablen und 28 Nebenbedingungen

TreeD

tetris

Vielen Dank für die Aufmerksamkeit!